De Moivre's formula